#ifndef __USERPROG_PROCESS_H
#define __USERPROG_PROCESS_H

#include "thread.h"
#define USER_VADDR_START 0x8048000

void process_activate(struct task_struct* p_thread);
void process_execute(void* filename, char* name);
#endif